Section: Dissemination

Scientific Animation

• Jean-Christophe Bach:

  • Reviewer for SLE 2012 (5th International Conference on Software Language Engineering)

• Horatiu Cirstea:

  • PC member of RuleML 2012 (International RuleML Symposium on Rule Interchange and Applications).

  • Steering committee of RULE.

  • Responsible for the Master speciality “Logiciels: Théorie, méthodes et ingénierie”.

• Claude Kirchner:

  • Keynote speaker of RTA 2012 (23rd International Conference on Rewriting Techniques and Applications): “Rho-Calculi for Computation and Logic”.

• Sergueï Lenglet:

  • Presentation at “Journées communes LTP - LAC - LaMHA”

• Pierre-Etienne Moreau:

  • Member of the board of the Doctoral School in Computer Science and Mathematics.

  • Member of the GDR–GPL (CNRS Research Group on Software Engineering) board.

  • Head of the local committee for Inria “détachements” and “délégations”.

  • Head of the Computer Science department at Ecole des Mines de Nancy.

  • PC member of RTA 2012 (23rd International Conference on Rewriting Techniques and Applications), SLE 2012 (5th International Conference on Software Language Engineering), and WRLA 2012 (9th International Workshop on Rewriting Logic and its Applications)

• Sorin Stratulat:

  • PC Member of SYNASC'12 (14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing), IAS'12 (8th International Conference on Information Assurance and Security), and CISIS'12 (5th International Conference on Computational Intelligence in Security for Information Systems).

  • Invited Speaker at PAS'12 (International Seminar on Program Verification, Automated Debugging and Symbolic Computation).

  • Member of the LITA Laboratory Council.